<html><head><link rel="stylesheet" type="text/css" href="css/tips.css"/></head><body>
        <p>
            To quickly open a file, press
            <span class="shortcut">&shortcut:GotoFile;</span>
            (<span class="shortcut">Navigate | File</span>) and start typing its name.
            Use the filter icon to only search among the selected file types:
        </p>
        
        
        
        
        <p class="image"><img src="images/db_gotofile.png" alt="Go to file"/></p>
        
    </body></html>